#include<stdio.h>
#include<sys/syscall.h>
#include<sys/sys.h>
#include<stdlib.h>

int dprintf(const char *fmt, ...)
{
    va_list args = NULL;
    char buff[SZ_1K] = {0};
    int ret = -1;

    va_start(args, fmt);
    ret = vsnprintf(buff, SZ_1K, fmt, args);
    va_end(args);

    syscall1(void,SYS_DEBUG,buff);
    return ret;
}
